pocket milling - German English Dictionary